Taking Blessings Seriously: A Comment on Ronald R. Garet's 'to Secure the Blessings'

Intuitionism - Counting its Blessings

A brief survey of the impact of intuitionistic logic and mathematics on modern practice is presented. The main influence is via the so-called “BHK interpretation” (or “proof interpretation”). By somewhat relaxing the conditions on the notion of proof the familiar notions of ‘realizability’, ‘Curry-Howard isomorphism’ etc. are motivated. Also some attention is paid to the characteristic process ...

Some Strategic Y2K Blessings

Future system development and management efforts must strive to institutionalize these gains and provide ongoing, incremental improvement in these areas. With the growth of e-commerce and further socioeconomic reliance on IT, the organizations that have achieved these gains will be well positioned to outdistance those who were less aggressive. Figure 1 depicts the silver linings and competitive...

Intuitionism { Counting its Blessings . Preliminary

A brief survey of the impact of intuitionistic logic and mathematics on modern practice is presented. The main in uence is via the so-called \BHK interpretation" (or \proof interpretation"). By somewhat relaxing the conditions on the notion of proof the familiar notions of `realizability', `Curry-Howard isomorphism' etc. are motivated. Also some attention is paid to the characteristic process o...

Taking Oaths Seriously: A Comment on Carter and Sunstein

Virtual Reality: Blessings and Risk Assessment

Objectives: This paper presents an up-to-date overview of research performed in the Virtual Reality (VR) environment ranging from definitions, its presence in the various fields, and existing market players and their projects in the VR technology. Further an attempt is made to gain an insight on the psychological mechanism underlying experience in using VR device. Methods: Our literature survey...